推論 : 因明 (ab)・演繹 (de)・歸納 (in) - .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)

推論 : 因明 (ab)・演繹 (de)・歸納 (in)

推論 (inference)$ T_3\Vdash s_1\supset p_2,$ \frac{s_1}{p_2}(T_3)

因明 (abduction)$ (T_3,p_2)\Vdash s_1

演繹 (deduction)$ (T_3,s_1)\Vdash p_2

歸納 (induction)$ (s_1,p_2)\Vdash T_3

David Corfield "Charles Peirce, inference, and category theory" 2025/2/20